(x (letrec ((x 4)) x))